OPERATIONAL CHARACTERIZATION OF SCATTERED MCFLs

Operational Characterization of Scattered MCFLs

Operational characterization of scattered MCFLs -- Technical Report

We give a Kleene-type operational characterization of Muller context-free languages (MCFLs) of well-ordered and scattered words.

synthesis and characterization of some macrocyclic schiff bases

ماکروسیکلهای شیف باز از اهمیت زیادی در شیمی آلی و دارویی برخوردار می باشند. این ماکروسیکلها با دارابودن گروه های مناسب در مکانهای مناسب می توانند فلزاتی مثل مس، نیکل و ... را در حفره های خود به دام انداخته، کمپلکسهای پایدار تولید نمایند. در این پایان نامه ابتدا یک دی آلدئید آروماتیک از گلیسیرین تهیه می شود و در مرحله بعدی واکنش با دی آمینهای آروماتیک و یا آلیفاتیک در رقتهای بسیار زیاد منجر به ت...

Synthesis and characterization of surface-enhanced Raman-scattered gold nanoparticles

In this paper, we report a simple, rapid, and robust method to synthesize surface-enhanced Raman-scattered gold nanoparticles (GNPs) based on green chemistry. Vitis vinifera L. extract was used to synthesize noncytotoxic Raman-active GNPs. These GNPs were characterized by ultraviolet-visible spectroscopy, dynamic light-scattering, Fourier-transform infrared (FTIR), transmission electron microsc...

An Operational Characterization of Strong Normalization

We present a new calculus, the λΦ-calculus, that models a non lazy call-by-value evaluation. The λΦ-calculus can be seen as an alternative to Plotkin’s λβv-calculus, which is intrinsically lazy. Besides confluence and standardization, this new calculus enjoys some other interesting properties. The most remarkable one is the fact that the set of potentially Φ-valuable terms coincides with the st...